1. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده : \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : توابع محاسبهپذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
2. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
1989
3. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
4. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic,، Logic, Symbolic and mathematical,، Semantics
رده :
BC
71
.
E56
5. The semantic foundations of logic
پدیدآورنده : / Richard L.Epstein,with the assistance and collaboration of Walter A.Carnielli...[et al.]
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Logic,Logic,symbolic and mathematical,Semantics
رده :
160
E64s
